Pii: S0166-5316(02)00103-7
نویسندگان
چکیده
Recent research has investigated ways in which generally distributed random variables may be incorporated into stochastic process algebra (SPA). These proposals allow the arbitrary use of such variables, improving expressibility, but in general this makes performance evaluation difficult. Typically, simulation techniques must be employed. We attack the goal of generally distributed random variables from the opposite direction, using the stochastic property of insensitivity. In this paper we describe a construction which guarantees the insensitivity of certain concurrently enabled non-conflicting SPA activities. We give a derived combinator for constructing process algebra models. Use of this combinator guarantees that the stochastic process underlying the model is insensitive to a particular set of activities. Therefore, the user need not assume these activities are exponentially distributed, yet may still use familiar Markovian techniques to solve the model. We find that the model structure we identify has a product form solution and the criteria we list do not match any of those currently proposed for SPA. We highlight our technique with an example drawn from the field of transaction processing systems. Our analysis uses the SPA PEPA, and its associated conventions. © 2002 Elsevier Science B.V. All rights reserved.
منابع مشابه
Product form solution for an insensitive stochastic process algebra structure
Recent research has investigated ways in which generally distributed random variables may be incorporated into stochastic process algebra. These proposals allow the arbitrary use of such variables, improving expressibility, but in general this makes performance evaluation difficult. Typically, simulation techniques must be employed. We attack the goal of generally distributed random variables f...
متن کاملMinimisation of the update response time in a distributed database system
This paper is concerned with the minimisation of the update response time in distributed database systems (DDBS) where resequencing algorithms are used to preserve the consistency of the databases. The authors proposed a novel resequencing technique, in reference [7], namely hop-by-hop resequencing with batch processing for connecting the first stage to the second stage of a two-stage DDBS. In ...
متن کاملPerformance analysis of the IEEE 1394 serial bus
IEEE 1394 is a standard for a high performance serial bus interface. It encompasses both isochronous transfer mode, which is suitable for real-time applications, and asynchronous transfer mode, which is appropriate for delay-insensitive applications. This standard can be used as a basis for constructing a small-size local area network. Two queueing models are proposed for a network operating un...
متن کامل